home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / clean / sun3.lha / Sun3 / deltaMira.dcl < prev    next >
Text File  |  1992-08-07  |  420b  |  22 lines
  1. SYSTEM MODULE deltaMira;
  2.  
  3. ==    Version 0.8
  4.  
  5.  
  6. RULE
  7.  
  8. ::    EQUAL        !x    !y        -> BOOL;    == generic equal
  9. ::    NOTEQUAL    !x    !y        -> BOOL;    == generic not equal
  10. ::    UNDRESS        !x            -> [y];        == convert evaluated graph to special form
  11.  
  12. ==
  13. == Generic comparison will compare arbitrary structures by reducing them to
  14. == normal form. Furthermore, the comparison unravels cyclic structures which 
  15. == causes non termination in these cases. 
  16. ==    
  17.  
  18.  
  19.  
  20.  
  21.  
  22.